Surjektive Funktion

Eine surjektive Funktion ist eine mathematische Funktion, die jedes Element der Zielmenge mindestens einmal als Funktionswert annimmt. Das heißt, jedes Element (und damit jede nichtleere Teilmenge) der Zielmenge hat ein nichtleeres Urbild.

Eine surjektive Funktion wird auch als Surjektion bezeichnet. Ist sie zudem auch injektiv, heißt sie bijektiv. In der Sprache der Relationen spricht man auch von rechtstotalen Funktionen.